VDict mobile



compositional parallel programming not found. Suggestions:

Compositional C++
FP2
definitional constraint programming
EPL
ALLOY
Idealized CSP
Parallaxis
C*
DINO
Parlog